mangled names of private attributes