Multiplying Q15 numbers

In Q15 format 0x4000 means 0.5. What is r after this code?

int16_t a = 0x4000;
int16_t b = 0x4000;
int16_t r = (int16_t)(((int32_t)a * b) >> 15);