Two EQC tests. TODO: automatic invocation, modularize, extend