my $key;
while(undef($key)) {
    $key = <STDIN>;
}