rewrite koshu-syntax