#!/bin/bash print_options () { cat <