[throwaway1105q]

Even in firmware level code, you can still get most of the benefits. There are very few cases where you don't gain any safety at all.