I will go for (b) because the problem with (a) is the API is there and we do not know about changes in future. We might be adding some menu items dynamically, thus with the correct context.