[PATCH] Type checking for write_pda()