a040.c: AC (3ms, 128KB)
a041.c: AC (3ms, 124KB)
a042.c: AC (21ms, 124KB)
a043.c: AC (3ms, 124KB)