It's a lovely library :) I'm using it in my work on general interfaces for symbolic execution debugging.