[{"label":"Guarded Command Language (GCL)"}]