Test @requires with same name #1

Testing to see what happens if two @requires have the same name