// dead placeholder

var session = {
	inited: true
};

function begin_section() {};
function end_section() {};
function assert() { return true; };