#include <stdio.h>

#include "user_variables.h"

void printUserVariable(void)
{
    printf("User variable: %d\n", USER_VARIABLE_NAME);
}
void setUserVariable(USER_VARIABLE_TYPE var)
{
    USER_VARIABLE_NAME = var;
}