Error: internal error; reference = mpafr5mt5ia2fvhcfp4ik7qn