michael@0: [DEFAULT]
michael@0: head = head.js
michael@0: tail =
michael@0: 
michael@0: [test_policy.js]
michael@0: [test_session_recorder.js]