let
zero_term() =
Cil
.lzero ()