/* Web64 SDK header printout: stdio.h
 * Generated by scripts/copy-web64-ide-source.mjs.
 * The IDE resolves this header as a read-only virtual SDK document.
 */

#ifndef WEB64_STDIO_H
#define WEB64_STDIO_H
#define EOF 0xffff
/* Web64 tiny stdio surface: getchar/putchar/puts are runtime calls; printf is compiler-lowered for literal formats with %d values. */
extern _fastcall int getchar(void);
extern _fastcall int putchar(int c);
extern _fastcall int puts(const char *str);
extern int printf(const char *format, ...);
#endif