125.c: done