class HAL:
    ...