lecture:kiso2:ex:ex13-1.c