; run-time error
(head nil : [Int])