Prescriptive Code Design