Wouldn't this trigger `Error: undefined identifier std` ?