lecture:kiso2:ex:ex13-3.c