#include <bitset> for portals using wide bit fields