inlined jump; using Cuckoo; 799 ticks