#include <notification/notification_messages.h> void flipbip39_play_happy_bump(void* context); void flipbip39_play_bad_bump(void* context); void flipbip39_play_long_bump(void* context);
