#ifndef _LABDEFS_H_
#define _LABDEFS_H_

#include "banking.h"
#include "pa2345.h"

void move_time();
void set_max_time(timestamp_t new_time);

#endif