const positionX_getterinfo: JSJitInfo;