module M {
    // Native structs should not specify fields.
    native struct S { f: u64 }
}