internal static void directive_line_span(this TextWriter trapFile, LineSpanDirective directive, int startLine, int startColumn, int endLine, int endColumn) => trapFile.WriteTuple("directive_line_span", directive, startLine, startColumn, endLine, endColumn);
internal static void directive_line_offset(this TextWriter trapFile, LineSpanDirective directive, int offset) => trapFile.WriteTuple("directive_line_offset", directive, offset);