debugging hal