DECLARE_INT_GETTER