sig type t = AssemblyFile | ObjectFile end