(prim:write (prim:cdr (prim:cons 123 456)))