let
pt_getd d pt = opt_getd d !pt