void main() {
    vector va, vb;
    string sa, sb;
    print(__builtin_debug_typestring(va || vb), "\n");
    print(__builtin_debug_typestring(sa || sb), "\n");
}