int pxm_to_nid(int pxm);