#!/bin/bash

log() {
	echo "$@" >&2;
}
