lecture:kiso2:ex:ex12-1.c