ttcn3: bsc-sccplite