proc assert { cmd output } {
    spawn {*}$cmd
    expect {
        $output { puts OK }
        default { puts FAIL }
    }
}


assert {./add 1 2} 4