function BOLTS_version() = [0, 3, GPL 3.0];
function BOLTS_date() = [2014,4,24];
function BOLTS_license() = "GPL 3.0";