pub fn test_idxtm_empty(ctx: &Ctx, i: &IdxTm) -> bool