https://tutexchange.com/quick-introduction-to-bugpoint-application/