I guess the fist step could be to handle it in the C library using some capability check and function pointers, then perhaps later on in the compiler if some mc

I guess the fist step could be to handle it in the C library using some capability check and function pointers, then perhaps later on in the compiler if some mcpu flag or something is provided.