Back-end support APIs for THack