while ($working) {
  print "\00" ;