add revo binary
multi-expression support