a stratego implementation in a single val!