Archimedes 0.4.17: arguments must be quoted.