let ptr (p:D1.pointer) : D1.pointer = D1.e_app1 "ptr" p