let model_ptr    = F.e_app2 "ptr"