litmus-presi: handle pointer values.