paper:user type pseudo code