Source position: mysql.inc line 1809
function mysql_options(
mysql: PMYSQL;
option: mysql_option;
arg: PAnsiChar
):cint;