source_filename = "runtime/runtime.ll" ; dummy file