[mcs] recursive pattern with named arguments