double MRG63k3a (void);