3 ms·

I think it's a compiler hint for optimizations, but the onus of correctness (ie. Is this really pure) remains on the programmer / whatever generates the C code