main :: [Int] -> ()
main []             = ()
main (1:xs) | False = ()