Generated for casc 0.1.1.