bug.column" class="anchor"></a><code><span>column : int;</span></code></li><li id="type-jsonbug.procedure" class="def record field anchored"><a href="#type-jsonbug.procedure" class="anchor"></a><code><span>procedure : string;</span></code></li><li id="type-jsonbug.procedure_start_line" class="def record field anchored"><a href="#type-jsonbug.procedure_start_line" class="anchor"></a><code><span>procedure_start_line : int;</span></code></li><li id="type-jsonbug.file" class="def record field anchored"><a href=