BEGIN {
	printf("%a\n", 42)
}