Getting started with Tntnet