module BanalTodo1