Tiny tools to help the TinTin coder.