add some specs to Sample_14_03_state
Merge branch 'sec14_spec'