Source code of holesize.ml