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 15 int puts16(char16_t* str); 16