I need to play very small mp3 files on Nano33BLE without an SD card

Is it possible to use the following, has anyone used MbedOS with their Nano33BLE? I have created the .h sound files I need, just not sure about the code in Arduino.

Using Flash to play Audio Clips | Mbed

flash_audio_player_8bitPWM - Plays audio samples from an array stored in flash… | Mbed