my $statement = read_file prompt 'File with problem statement', -complete => 'filenames';
my $generator = prompt 'Generator', -menu => "File\nRun\nUndef";
my $runner = prompt 'Runner', -menu => "File\nVerifier\nInteractive";
my $statement = read_file prompt 'File with problem statement', -complete => 'filenames';
my $generator = prompt 'Generator', -menu => "File\nRun\nUndef";
my $runner = prompt 'Runner', -menu => "File\nVerifier\nInteractive";