Delete buggy.py