#name: JAL overflow 2
#source: jaloverflow-2.s
#as:
#ld: -Ttext=0x20000000 -e start
#objdump: -dr
#...
0*20000000:	0c000000.*
#pass