Hmm, I could be wrong, but won't it get saved anyway once Picard exits, just by creating the IntOption?