defined an EmptyToken constant