let debug_display_spec (pre_st,_,post_st,_) name= let pre_str = debug_display_stmt_pre pre_st "st" in let post_str = debug_display_stmt_pre post_st "st" in concat [pre_str;" ";name;" ";post_str]