#!/bin/bash

./tflush "$@"
