Delete hal.py