void generate_line_number(ArrayList lines, TargetAddress address, int offset,
int[] cil_offsets, ref int last_line)
{
for (int i = cil_offsets.Length - 1; i >= 0; i--) {
int cil_offset = cil_offsets [i];
if (cil_offset > offset)
continue;
if (i + 1 != last_line) {
lines.Add (new LineEntry (address, 0, i + 1));
last_line = i + 1;
}
break;
}
}