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