// 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

#ifndef NULL
#define NULL ((void*)0)
#endif

#include <stdint.h>
#include <printf.h>
#include <stddef.h>

int puts16(char16_t* str);