user-type.h revision cf7f601c
1