wcfg for checking reader behavior