let
pt_get pt = opt_get !pt