@jcoglan but as it's deterministic, storing the program is functionally similar to storing encrypted passwords