helpers used in C1