/*    pstypes.h        (don't name it types.h cause that's also a sys header)
 *
 *    This file defines some commonly used types like
 */

#ifndef __TYPES_H__
#define __TYPES_H__

#include "psstdint.h"

typedef uint32_t    objID;

#endif
