.file	"core.cpp"