#include int get_SCM_RIGHTS() { return SCM_RIGHTS; }