Various ports for crux