workspace.c

#include <stdlib.h>
#include <stdio.h>
#include "workspace.h"

int main (int arg, char* argc[]){
    return 0;
}