score08.c: mostly formatting