module main

demand 5==42

end