double-equals.mly 80 Bytes