jump/call labels should be now marked correctly