All read-only input pointer parameters are marked as 'const'