Symbol: JF_START