.global short_symbol
	.set short_symbol, 54321