more token operations, currently undefined