halcompile.py