The profiling parameters (and the profiling attributes) are strings. Profiling operates on sets of tokens. The strings in each case are divided into tokens by separating them at the $profile-separator character. Common values for separator include “;” and “ “ (space). See Section 2.7, “Effectivity attributes and profiling”.