Generate annotated source for v0.1.12