CRB_push_value     41 CRB_dev.h      void CRB_push_value(CRB_Interpreter *inter, CRB_Value *value);
CRB_push_value    200 native.c           CRB_push_value(inter, &ret);