#!/bin/bash

runuser runner$1 -c "
    cd /tmp/$2
    mcs $(echo code.code | sed 's/\///') -nowarn:0219 -out:binary
    timeout -s KILL 3 xargs -a args.args -d '\n' mono binary < stdin.stdin
"