Example for wfst