xc/doc/specs/programs