Select Code to Download

#1501293767
foo() {
...
}
#1501293785
ls

#1501293785
cat afile

#1501293785
cat afile | while read -r line; do
  echo "line: " $line
done

BEGIN {
  timestamp = ""
...
    }
  }
}