: int OBJ_FROZEN(VALUE x)

