true: rectypes, thread, traverse
