void exit ( [mixed status] ) terminates execution of a script, and is an alias of the exit( ) function.
$db = open_database( ) OR die("Couldn't open database!");