from test_support import *

build_and_run('sessions6');
