lecture:kiso2:ex:ex12-4.c