<?php

// Start of Zend Debugger v. 

/** @jms-builtin */
function debugger_print () {} 

/** @jms-builtin */
function get_call_stack () {} 

/** @jms-builtin */
function debugger_start_debug () {} 

/** @jms-builtin */
function debugger_connector_pid () {} 

/** @jms-builtin */
function debugger_connect () {} 

/** @jms-builtin */
function debugger_get_server_start_time () {}

// End of Zend Debugger v.
?>
