function main() {
	[var tmp];
}