theoretical support for c-programs again, but not tried it out yet