fundecl_calls: int
VInfoMap
.t ref = ref
VInfoMap
.empty;