An interface to HotSpot