Just out of curiosity, is this the same `std` from above? Should they be capitalized the same?