Experimental implementation of supporting test-unit/power_assert