Such a code should not be allowed:
>> s: make struct! [ a: [uint8] probe random 100 ]
25
>> mold s
== "make struct! [a: [uint8] 25]"
>> spec-of s
== [a: [uint8] probe random 100]
>> probe make s []
make struct! [a: [uint8] 25] ;<---- the spec is not used anymore