binop.v 365 Bytes