#!/bin/bash
exec benchmark/target/start