Use builtin timeout type