../../manual-example.hal