Trap 4 - somewhat obscure
This works
$fh = open_file($filename); while(<$fh>) { print; }