SMS: Program specialization