Block a user
last arg of procedure can be type specifier
tokens can be followed by a object deref
tokens can be followed by a object deref
last arg of procedure can be type specifier