Symbol: g1bus_bus_mem_read_4