my $errstr = ( $case != OK ? $msg[$case] : "" );