A simple Python HAL library