// you can write to stdout for debugging purposes, e.g.