main :: (n) { return 2 * n; }