#!/bin/sh
../PB/wbo-static -file-format=opb $*
