Checked on arm-compiler. Seems it works