This probably doesn't compile: it might need an explicit cast (i.e. `@(3,4,5,false) as @IterBytes`), and may even need the types of the integer literals to be specified (i.e. `1i`) but I'm not sure about this one:

```rust
rusti> let a: @IterBytes = @(1i, 2i);
<anon>:14:20: 14:27 error: mismatched types: expected `@std::to_bytes::IterBytes:'static` but found `@(<VI0>,<VI1>)` (expected trait std::to_bytes::IterBytes but found @-ptr)
<anon>:14 let a: @IterBytes = @(1, 2);
                              ^~~~~~~
```