rem: int rc;
add: status_t rc;
context: port_id user_create_port(int32 queue_length, const char *uname){	if(uname != NULL) {		char name[SYS_MAX_OS_NAME_LEN];		int rc;		if((addr)uname >= KERNEL_BASE && (addr)uname <= KERNEL_TOP)			return ERR_VM_BAD_USER_MEMORY;		rc = user_strncpy(name, uname, SYS_MAX_OS_NAME_LEN-1);		if(rc < 0)			return rc;		name[SYS_MAX_OS_NAME_LEN-1] = 0;		return create_port(queue_length, name);	} else {		return create_port(queue_length, NULL);	}}