#include bool dbg_ports() { return false; }