#!/usr/bin/env python# Copyright 2016 the V8 project authors. All rights reserved.# Use of this source code is governed by a BSD-style license that can be# found in the LICENSE file."""Corrects objdump output. The logic is from sancov.py, see comments there."""importsys;forlineinsys.stdin:print'0x%x'%(int(line.strip(),16)+4)