Explicitly cast strlen to an int.