lecture:kiso2:ex:ex09-7.c