Studying Pieter Wuille's CCHR