#include "dummy_functions.h"

void Menu_Refresh() {}
void Menu_Update_Display() {}
void GPIB_Set_Command_Error() {}
void GPIB_Set_Query_Error() {}
void GPIB_Set_Device_Dependent_Error() {}
void GPIB_Set_Execution_Error() {}
void Main_update_shift_registers() { }
void Error_check(void* p) { }
void writeUserBlock(int addr, int numbytes) {}