output_ptxdgk(1)