Map<String, dynamic> toJson() { return { 'lines': [...lines], 'bytecodeOffsets': [...bytecodeOffsets], }; }