// How disagreeable are top-level empty structs?
struct "EmptyStruct" {
}