main = 42