The single - statement FORALL in HPF.