Is there a type which is basically an (unsigned) char, such that a pointer derived from it wouldn't alias with basically anything? Such a thing would be handy for optimizing marshalling code.