Fixes the HAL POC

However the UF showcase still yields exceptions