Add partial function in C post; update generated sources