Portable circuit format compiler: C to binary circuits