Mangled type for assignment 10 #10