const positionAlign_setterinfo: JSJitInfo;