WyC: disabled debugging output