Since `%d` matches an `int`, we should explicitly cast `t` in the argument list so that it's guaranteed to match.