more examples and HFA output