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