>That puts it back to the original question. Is the program legal or >not? I.e. do we support multiple simultaneous pointer sizes?
And back to my original answer: it's up to each language to decide that. We provide the infrastructure for a language to provide it if it wants it.