hal/example.hal