#ifndef POSTHASTE_EXECUTE_H
#define POSTHASTE_EXECUTE_H

/* stuff related to executing compiled machine code */

void execute();

#endif /* POSTHASTE_EXECUTE_H */