1 #include <stdarg.h>
2 #include <utf.h>
3 #include <fmt.h>
4 
5 int
6 main(int argc, char **argv)
7 {
8 	print("%020.10d\n", 100);
9 }