#!/bin/bash
# XXX header missing