Is there any indication from mailbox get/put method?

In reply to dave_59:

Hi Dave ,
Is it legal to extend from predefined classes like mailbox and semaphore ?

Although I haven’t seen the same in the LRM anywhere ( might have missed out also )