Started work on the exporter for the minimal binary format. It's not as trivial as I'd like it to be, but hopefully by the end of the weekend we'll have a standalone executable that can run demos from the current tool output. I'm quite curious how the size will turn out.