let zero_term() = Cil.lzero ()