std: add reading from file