Added pintool for recording all calls