DB_user_BEGIN
(DB_user_BEGIN + dispatch_size) *
dispatch_size += DB_user_BEGIN; i < dispatch_size; ++i)