0a1,4
> *** Error: the predicate 'user#p' may not be changed.
> *** Error: the predicate 'user#p' may not be changed.
> *** Error: the predicate 'user#p' may not be changed.
> *** Error: the predicate 'user#p' may not be changed.
