Tornado labs for training purposes (all of the code is implicitly released in the public domain)