// todo: in-line interface filling
get_and_clear_pending_msg_events (): number[] {
MessageSendEvent[] ret = arg.get_and_clear_pending_msg_events();
// todo: in-line interface filling
get_and_clear_pending_msg_events (): number[] {
MessageSendEvent[] ret = arg.get_and_clear_pending_msg_events();