Non stdio with a stdio interface