HAL conform api; adapted tests