#include <stdint.h>

void pcspkr_play(uint32_t freq);