Support for numeric flags.
Debug output to stderr