sub de_slashify {
  my $string = shift;
  my $esc = { n => "\n", r => "\r", t => "\t", };
  $string =~ s/\\([nrt])/$esc->{ $1 }/ge;
  return $string
}