OFFSET_MAP_END    296 gc/os_dep.c            tok = buf_ptr+OFFSET_MAP_END;
OFFSET_MAP_END    297 gc/os_dep.c            buf_ptr[OFFSET_MAP_END+ADDR_WIDTH] = '\0';