Some files for playing around with stratuslab