Extract functions derived by DrIFT for fixing "Defined but not used" warning.