1BEGIN { printf("%*s"); }
2