px_tools.c revision d4476ccb08e9498c2013971c4212dc6362fcec46