exec 'ghc', qw/-DONLINE_JUDGE -Wall -O2 -o/, $basename, $name when 'HASKELL';
exec 'rustc', qw/-O -o/, $basename, $name when 'RUST';
exec 'obc', qw/-x -o/, $basename, $name when 'OBERON';
exec 'ghc', qw/-DONLINE_JUDGE -Wall -O2 -o/, $basename, $name when 'HASKELL';
exec 'rustc', qw/-O -o/, $basename, $name when 'RUST';
exec 'obc', qw/-x -o/, $basename, $name when 'OBERON';