#include "../i486/lll_timedwait_tid.c"