Symbol: hasjumps