A collaborator has reported that he gets an error message when exporting to Makecode. I do not have a micro:bit at hand (I am travelling), so I have not been able to test it myself.