let status_true = make_status Cil_types.True