Symbol: mptcp_space_from_win