I can see the relation to bug 2356, but why not just call test11238 from main()  ?