ufas0xaapfla \
		:st = .text 0x000003ffbfff0000, 0x0000000000010000:\
		:st = .data 0x000003ffffff0000, 0x0000000000010000:\

