main(argc u32, argv[argc] *u8) i32 { ctx(vec(u32) a); // equivalent to ctx(struct (vec[u32]) a); // All entities defined with struct [vector] are seen as the same // structure, i.e. mangled the same. Something like vector_u32 // If someone adds a name, i.e. structure lol [vector(u32)] the mangling // is lol_vector_u32 and considered a different type. All identical // definitions of structs are considered the same struct, in short. }