sj101-flux-specs-verification|Oldwelders