123.c: done