5f07565bcb
MI code uses them, and every platform provides them (except x86_64 whose options file was lacking one). Reviewed by: bde, rwatson