Whitespace only, in gmp-wrappers.cmm