Code distillation