lecture:kiso2:ex:ex09-1.c