* the code of a test of an efloop is written, but it was not properly tested.