let spacing = function
    | SPACE(n)::rest -> (n, rest)
    | list           -> (0, list)