Ints are boxed. Cons and head seem to work.