A set of small utilities, helpers for PIN tracers - View it on GitHub