[RFC] optimized poly1305 and ABI