module M {
    // Non-native structs must specify the list of fields.
    struct S;
}