/* tlmpwebsql.cc 24/02/2001 17.16.32 */
/* websqlrec.cc 17/03/2001 21.54.42 */
/* websession_sql.tlcc 19/02/2002 16.40.10 */
void websession_sql___v1 (_F_websession_sql___v1&c,
	 const char *realm,
	 bool session_must_be_on);
void websession_sql___v1 (_F_websession_sql___v1&c, const char *realm);
/* websession_sql_v0.tlcc 19/02/2002 16.40.10 */
void websession_sql (_F_websession_sql&c, const char *realm);