lecture:kiso2:ex:ex13-2.c