cmd:user/4
cmd:assemble/1,2,3
rewrite user/4 with assemble
valid_assemble/2,3; rewrite user/4 with valid_assemble