Coding experiments with the Hemesh library