// TODO: document
pub external type Port