f80x2rext664m0 - execution time: 0.203 sec.