ReadObject        806 src/serialize.cc           ReadObject(space_number, dest_space, current);                       \
ReadObject        812 src/serialize.cc             ReadObject(space_number, dest_space, &new_object);                 \
ReadObject        364 src/serialize.h   void ReadObject(int space_number, Space* space, Object** write_back);