a simple demo use PDA