#!/bin/bash
./hotstuff-client --idx 0 --ntx -1