max_snapshot_js_object_id_ 1142 src/profile-generator.cc   max_snapshot_js_object_id_ = collection_->last_assigned_id();
max_snapshot_js_object_id_  601 src/profile-generator.h     return max_snapshot_js_object_id_;
max_snapshot_js_object_id_  632 src/profile-generator.h   SnapshotObjectId max_snapshot_js_object_id_;