My ports for Crux