// An option-like enum of i32

tagged "OptionI32" {
    Some { _ "i32"; }
    None
}