testAt: also test the other values
at: Finish implementation, not error-prone yet.