[Pvxdev].                                                           ultrafxptr                                                                                                                                                                                  