err() {
  echo "ERROR: ${1:-}"
}