builtin_functions → goto-programs Relation

File in src/goto-symex/engine/builtin_functions	Includes file in src/goto-programs
memory_alloc.cpp	destructor.h