const PTR_WIDTH: usize = 64;