print( STDERR "key is \"$key\"\n" );
  print( STDERR "t is \"$t\"\n" );