#include <stdint.h>
#include <stdio.h>

int64_t now = 0;

int watchdog_set(int ms)
{
  printf("watchdog_set %d\n", ms);
  return ms;
}

void watchdog_clear(int id)
{
  printf("watchdog_clear %d\n", id);
}