Debug flags "verbose" and "check_init" were added