#include <asm.h>

SYSCALL(_Serial_WriteSingle, 0x1BBC)