stubs: allocation in CFG stub