chiark / gitweb /
Separate function for parsing user trace specs.