Now, program passes the test002 for PDG.
Now, program passes the test003 for PDG.