let t_call_id_packed_descr = Cil_datatype.Stmt.packed_descr