#define FUNC_FOO_TP_FILENAME "/efficios/libhello.c"
#define FUNC_FOO_ADDR_ELF 0x4013ef
#define FUNC_FOO_ADDR_DBG_LINK 0x40148e
#define FUNC_FOO_TP_FILENAME "/efficios/libhello.c"
#define FUNC_FOO_ADDR_ELF 0x4013ef
#define FUNC_FOO_ADDR_DBG_LINK 0x40148e