Code for dealing with @-vectors. This is pretty incomplete, and contains a bunch of duplication from the code for ~-vectors.
at_vec::rustrt::__foreign_mod__