See this for more context: https://github.com/HigherOrderCO/hvm