#!/bin/bash

shift
mono out "$@"