rb-user_space is a stub port
