#include "../syscall.h"
#include <stdint.h>

static uint32_t time_ms(void) { return (uint32_t)syscall(SYS_time_ms, 0); }

static void wait_ms(uint32_t duration_ms) {
    uint32_t start = time_ms();
    while ((uint32_t)(time_ms() - start) < duration_ms) {
        syscall(SYS_halt, 0);
    }
}

int main(void) {
    syscall(SYS_set_beep, 10000);
    wait_ms(1000);

    syscall(SYS_set_beep, 15000);
    wait_ms(1000);

    // syscall(SYS_set_beep, 0);
    return 0;
}