A basic tool that timestamps DAMSON printf statements