vm_label.h

#ifndef VM_LABEL_H
#define VM_LABEL_H

char* new_vm_label(void);
void free_vm_label( char* vm_label );

#endif /* VM_LABEL_H */