A simple guarded command language