Artifacts of eftl-standalonetck-certification #35