../src/kernel/tqt.h