example fdn to faust