bad_arg => any_arg; work on function translation from spec