mp_obj_class_t is 16 bytes: the map is inlined, not a pointer.