Use 'printf %s $x' notation in t5401