let _ =
  Vale_Test_TestInline.test_inline ()