Thread Certification Question: 6LoWPAN frames that can be buffered for forwarding to neighbors other than SED/SSED

[rretanubun]

I want to verify my calculations for answering this question for Thread Certification

Enter the # of 6LoWPAN frames that can be buffered by the Candidate for forwarding to neighbors
other than SED/SSEDs (i.e., other Routers, REEDs and MTDs) [minimum = 10]

The Candidate in this case is a Thread-FTD device
I am extrapolating discussion-9950

   // On the OPENTHREAD_MESSAGE_BUFFERS we have
   #define OPENTHREAD_CONFIG_MESSAGE_BUFFER_SIZE (sizeof(void *) * 32) // 128-bytes on a 32-bit system
   #define OPENTHREAD_CONFIG_NUM_MESSAGE_BUFFERS   440
   // On a 32-bit system gives us 440 message buffers with 128-bytes each

   // On the SED_DATAGRAM side we have
   #define OPENTHREAD_CONFIG_DEFAULT_SED_BUFFER_SIZE 1280
   #define OPENTHREAD_CONFIG_DEFAULT_SED_DATAGRAM_COUNT  1
   // So we use 1280 bytes per datagram, or 10 OPENTHREAD_MESSAGE_BUFFERS per SED
   //   +1 to account for header/metadata overhead, gives us 11 OPENTHREAD_MESSAGE_BUFFERS per SED

   Then the formula is  440 - [11 * #-of-SED]
   In a system with 1xSED, the answer is: 440 - 11 = 429

Does this looks correct for answering the question?

Thanks for everyone's time.

[jwhui]

This calculation seems reasonble.

[rretanubun]

Thanks for the verification.