> actually verify that the code I just wrote does what I intended it to

That's what the author did when they ran it.