| // Copyright 2016 The Fuchsia Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| #pragma once | |
| #include <stdint.h> | |
| void* memset(void* dst, int c, size_t n); | |
| void* memcpy(void* dst, const void* src, size_t n); | |
| int memcmp(const void* a, const void* b, size_t n); | |
| size_t strlen(const char* s); |