a) NEW_ENCODING option -- tested b) support for trace generation -- compiles OK;not tested