// SPDX-License-Identifier: Apache-2.0 #include "libc.h" int main(void) { return 0; }