1	.file	"tmp.c"
2	.text
3	.globl	___hsc2hs_BOM___
4	.data
5	.align 8
6___hsc2hs_BOM___:
7	.quad	4294967296
8	.globl	x___hsc2hs_sign___
9	.bss
10	.align 8
11x___hsc2hs_sign___:
12	.space 8
13	.globl	x
14	.data
15	.align 8
16x:
17	.quad	1
18	.globl	y___hsc2hs_sign___
19	.bss
20	.align 8
21y___hsc2hs_sign___:
22	.space 8
23	.globl	y
24	.data
25	.align 8
26y:
27	.quad	-1
28	.globl	z___hsc2hs_sign___
29	.align 8
30z___hsc2hs_sign___:
31	.quad	1
32	.globl	z
33	.align 8
34z:
35	.quad	-1
36	.globl	t
37	.section .rdata,"dr"
38.LC0:
39	.ascii "Hello World\" 12345\0"
40	.data
41	.align 8
42t:
43	.quad	.LC0
44	.ident	"GCC: (GNU) 7.3.0"
45