//# run
main() {
    let byte_array: vector<u8>;
label b0:
    byte_array = h"deadbeefdeadbeef";
    assert(move(byte_array) == h"deadbeefdeadbeef", 42);
    return;
}