Looks like this should call `get_arg_decoded/3`.