Symbol: GDB_F31