On testing nontestable programs | lit.salon