/* bits 31:0 */