#include "internal.h" intptr sys·write(int fd, intptr size, intptr len, void *buf) { return syscall(·Write, fd, buf, size*len); }