redef commands
implements token -r