Testout

action inp(x:bool) = {
    call out(x)
}

action out(x:bool)

export inp
import out