SafeProgram$: StaticStructureSchema = ...