const rotate_getterinfo: JSJitInfo;