const lines_setterinfo: JSJitInfo;