mywc.s mywc_bound_1.txt mywc_bound_2.txt mywc_bound_3.txt mywc_state_1.txt mywc_state_2.txt mywc_stress.txt testmywc.sh