let addr_of_data  = F.e_app1 "addr_of_data"