#!/bin/sh exec ./holtrace-worker proofs "$@"