Use ecpoll and byz to rewrite.