const object_position_setterinfo: JSJitInfo;