A side project for writing bolts via annotations