specfe xenocs source files