let
status_true = make_status
Cil_types
.
True