YEs, you are right... it is very complex. But it is consistent enought that the compiler can do it all in the background. If you think that it is a bad idea to

YEs, you are right... it is very complex. But it is consistent enought that the compiler can do it all in the background. If you think that it is a bad idea to do: str_t* string = (str_t*)malloc(string_length); then half of the goal is been achieved right there. The other half is to have this nailed down in the language definition in sufficient detail so that implementations do not differ widely and you can poke inside it with assembly when you have to.