selector functions' headers and correct bench