/home/user/evaluation/bash_trace: line 2: typeset: `¥': not a valid identifier
/home/user/evaluation/bash_trace: line 2: typeset: `dÚ': not a valid identifier
/home/user/evaluation/bash_trace: line 2: typeset: `-ndC': not a valid identifier