Tetsuko Koku (国鉄子) is a main character in Magical Witch Punie-Chan, voiced in Japanese by Noriko Shitaya. The series' music includes "Dai Mahou Touge", "Hone Aru Kagiri Sakae Are!".