proctotomies