A few helper scripts to develop and debug TII