#!/bin/bash -e
#  $HeadURL$ $LastChangedRevision$

bin/dumb_test