Separate function for parsing user trace specs.