"Redefine" library version 1.0.0