BCS: > How much of safeD is formalizable? Is there anything in it that is hoplessly > impractical to create formal semantics for? And it needs something like this too ^_^ http://pascal-central.com/images/pascalposter.jpg Bye, bearophile