github.com/decomp/exp@v0.0.0-20210624183419-6d058f5e1da6/lift/x86/testdata/x86_64/format/format_out.ll (about)

     1  define void @_start() !addr !{!"0x400000"} {
     2  block_400000:
     3  	ret void
     4  }