const positionY_getterinfo: JSJitInfo;