[mikan] Added ch9-ex01