tests for Overload[]