Correctly translate function args