In case you previously participated and contributed:
let ?x = getMyNat() else {return #err("I just could not do it")}; let y = x + x;