verify methods that return primitives