Constant CTX_ONE 

pub const CTX_ONE: Ctx;

1 as a Ctx.

RHDL kernels cannot convert integers on the fly, so commonly used values are prepared as typed constants.