multi-result supercompiler