constant PDA