chiark / gitweb /
write trace log to stderr