jack

(That said, perhaps it would make life noticeably easier if you picked p to be half the size of a machine word. Then your modular multiplication step doesn't have to worry about overflow, so the implementation is much closer to foolproof.)