[lttv.git] / verif / Spin / Test / hello

init {
        printf("passed first test!\n")
}