timing_point IS BEGIN tps_body END timing_point