simple tests with nondet output