Rename exc23 to exc3