/**
* This function returns the length of a flexible array.
* Do NOT use is in code, use ARR_LEN() macro!
* This function is intended to be called from a debugger.
*/
/**
* This function returns the length of a flexible array.
* Do NOT use is in code, use ARR_LEN() macro!
* This function is intended to be called from a debugger.
*/