174,180d173
<
< uint64_t
< get_vec(int int_num)
< {
< panic("Shouldn't be called for Alpha\n");
< M5_DUMMY_RETURN;
< }