let
push_context: (unit
->
unit) ref =
ref (
fun
_
->
Cilmsg
.fatal
"Uninitialized push_context"
)