Artifacts of The C Code Generator VDM library sources #171