withPlan9() {
   PLAN9=/home/edwlan/github_repos/3dp/plan9port export PLAN9
   PATH=$PATH:$PLAN9/bin export PATH
 }