def METHOD_NAME(self, stat_buf, stat):
    def store(offset, val):
        return self.state.memory.store(stat_buf + offset, val, endness="Iend_LE")
    store(0x00, stat.st_dev)
    store(0x0C, stat.st_ino)
    store(0x10, stat.st_mode)
    store(0x14, stat.st_nlink)
    store(0x18, stat.st_uid)
    store(0x1C, stat.st_gid)
    store(0x20, stat.st_rdev)
    store(0x2C, stat.st_size)
    store(0x34, stat.st_blksize)
    store(0x38, stat.st_blocks)
    store(0x3C, self.state.solver.BVV(0, 32))  # padding
    store(0x40, stat.st_atime)
    store(0x44, stat.st_atimensec)
    store(0x48, stat.st_mtime)
    store(0x4C, stat.st_mtimensec)
    store(0x50, stat.st_ctime)
    store(0x54, stat.st_ctimensec)
    store(0x5C, stat.st_ino)  # weird verification st_ino