Vector'.cons 0 (Vector'.cons 1 (Vector'.cons 2 (Vector'.cons 3 (Vector'.cons 4 (Vector'.nil)))))