WARio: efficient code generation for intermittent computing