const line_setterinfo: JSJitInfo;