Renamed total_tokens to num_tokens to make it more appropriate for TX51