Make execute() take an OFString