#!/bin/sh
exec prun "$@"
