// -*- MPC -*- // $Id: wfmo.mpb 80826 2008-03-04 14:51:23Z wotte $ feature(wfmo) { requires += wfmo }