At runtime I get an error, because the local function, loop, is called with (Nil,4,None),
and there is no case for (Nil,None). However, I don’t see any warning about this when I compile.
It is obvious how to fix the problem when the runtime error occurs, but it would be great if
I could avoid this problem in the future.