Issue #42: kot