#include <mammoth/util/debug.h>
uint64_t main(uint64_t init_port_cap) {
dbgln("testbed");
return glcr::OK;
}