#include "../i486/lll_timedlock_wait.c"