> Honestly, I don't think what you're looking for is possible in > *any* > statically compiled systems language. NaCl does feature some code verification.