SYNOPSIS
    Do not run *ppm3-bin* manually. It is meant to be called by the wrapper
    program *ppm3*. See ppm3.