let context_use i = Context.use (Th.of_int i)