#!/bin/bash DIR_L=$(pwd) $DIR_L/out/tnslc $1