res is defined