Byte code has a map from byte-code offset to source-code line number,
used to give better error messages.