Update binrep.c