#include <stdlib.h>

#include <stdlib.h>

#include <stdio.h>

#include <stdio.h>

#include <string.h>

#include <string.h>

int ResetCounter(long counternr);

int ResetCounter(long counternr);

long ReadCounter(long counterno);

long ReadCounter(long counterno);

int SetCounterDebounceTime(long counterno, long debouncetime);

int SetCounterDebounceTime(long counterno, long debouncetime);