Comment Comment by snvzz A small TCB will still be key, regardless of language. parent snvzz 10 years ago