the code behind the BOLTS library