出力はともかく入力は assertion とは別にチェックしないとまずいでしょ。