let
context_apply i =
Context
.apply (
Th
.of_int i)