const position_setterinfo: JSJitInfo;