inlined logcount benchmark constraints