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