File var-example-decl.fmsl, line 7, char 8: Designated tuple field is uninitialized, and so cannot be set. nil