I modified to be `val3_t&`