How to Disembed a Program?