void enforce_binding();