Log: a simple logging and tracing facility.