-- io.stderr:write("warning: bandersnatch insufficiently frumious\n")