I don't think I've ever looked closely at an American GFCI receptacle.

How are the two sets of terminals labeled? Line and load?