I don't think we need to store them, since we use it only on boot. :)