#include <stddef.h>

char *syscall_getcwd(char *buf, size_t size);