Not necessary to have device_primitives.v anymore