module Test

open FStar.HyperStack.ST

val test_all (_: unit) : St unit

val main (_: unit): St C.exit_code