diag should print to stderr, so it's visible (note is for stdout)
don't need these