check stdout (ignored by alcotest)
