SgType* ti_type = SB::buildOpaqueType(ti_type_str,global);//Insert declarations from the typechecking library.//void minalloc_check(unsigned long long addr)SgFunctionDeclaration* minalloc_check_decl = SB::buildNondefiningFunctionDeclaration( SgName("minalloc_check"), SgTypeVoid::createType()...