add: PRINT(("sys_getcwd: buf %p, %ld\n", buf, size));
context: sys_getcwd(char *buf, size_t size){	char path[SYS_MAX_PATH_LEN];	int rc;#if MAKE_NOIZE	dprintf("sys_getcwd: buf 0x%x, 0x%x\n", buf, size);#endif	// Call vfs to get current working directory	rc = vfs_get_cwd(path,SYS_MAX_PATH_LEN-1,true);	path[SYS_MAX_PATH_LEN-1] = 0;	// Copy back the result	strncpy(buf,path,size);	// Return either NULL or the buffer address to indicate failure or success	return  (rc < 0) ? NULL : buf;}