-- adding back test for kernel/send-message