ThreadF is located in:
thread/src/POSIX/ThreadF.i3
thread/src/NOOP/ThreadF.i3
thread/src/WIN32/ThreadF.i3