-extern /*@only@*/ mapping *mapping_create (void);
-extern lsymbol mapping_find (mapping *p_t, lsymbol p_domain);
-extern void mapping_bind (mapping *p_t, lsymbol p_domain, lsymbol p_range);
-extern void mapping_free (/*@only@*/ mapping *p_m);
+extern /*@only@*/ mapping mapping_create (void);
+extern lsymbol mapping_find (mapping p_t, lsymbol p_domain);
+extern void mapping_bind (mapping p_t, lsymbol p_domain, lsymbol p_range);
+extern void mapping_free (/*@only@*/ mapping p_m);