This is a translation of Fukui Rei's tipaman from the tipa
bundle.