Adam D. Ruppe: > All of this has been done, and caught on to a huge degree. > They called that asm+types language "C" This is part of what I was referring to: http://www.cs.cornell.edu/talc/ Bye, bearophile