/home/user/evaluation/bash_trace: line 1: typeset: `¥ÿÿèt': not a valid identifier
/home/user/evaluation/bash_trace: line 1: typeset: `-c': not a valid identifier