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