int* produce(int*);
Clean(produce :: Int -> Int)