00001 #include "dbmi.h" 00002 00003 db__send_token (token) 00004 dbToken *token; 00005 { 00006 return db__send_int (*token); 00007 } 00008 00009 db__recv_token (token) 00010 dbToken *token; 00011 { 00012 return db__recv_int (token); 00013 }