1// Copyright 2016 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#pragma once
6
7#ifndef NULL
8#define NULL ((void*)0)
9#endif
10
11#include <stdint.h>
12#include <printf.h>
13#include <stddef.h>
14
15int puts16(char16_t* str);
16