definition module square

square :: !Int -> Int
call_square :: !Int -> Int