Create binconst.h