let
t_call_id_packed_descr =
Cil_datatype
.
Stmt
.packed_descr