pub const VSOCK_CONTROL_PORT: u32 = 1;
The AF_VSOCK port number the server runs on.
Happens to be the address of Bag End.