Commented out obsolete 'initializeGMP'