definition module semantic_functions
roll :: [Int] -> [Int]
roll1 :: [Int] -> [Int]