px_tools.c revision 69cd775ffd53de411433f1f43de2b4f644793528