uint32_t linemax = textfile_width(file);
char * read_buf = try_malloc(linemax + 1, __func__);
world.turn = (uint16_t) read_value_from_line(read_buf, linemax, file);
uint32_t linemax = textfile_width(file);
char * read_buf = try_malloc(linemax + 1, __func__);
world.turn = (uint16_t) read_value_from_line(read_buf, linemax, file);