#pragma once
/***
- Copyright 2013 Intel Corporation
+ Copyright © 2013 Intel Corporation
Author: Auke Kok <auke-jan.h.kok@intel.com>
***/
#include <stdbool.h>
#include <sys/types.h>
-//#include "label.h"
+#include "label.h"
#include "macro.h"
#define SMACK_FLOOR_LABEL "_"