This fixes count_lead_ones in misc.h not compiling due to unknown types
Attach a file by drag & drop or click to upload
