Basic Faust export