const positionZ_getterinfo: JSJitInfo;