WATFIV, WATFOR: A programming language </>