if Testout_embed_sequential.run() then print_endline "OK" else print_endline "Failed";;