util/jedcrc