fixed bug: tir quit with an error when calling without arguments