formatted as a BASH script