#ifndef __PXTCORE_H
#define __PXTCORE_H

//void codal_dmesg(const char *format, ...);
#define DMESG(...) /* nothing */

#endif