definition module square

clean_square :: !Int -> Int
call_square :: !Int -> Int