let status_maybe = make_status Cil_types.Maybe