HomeIsabelle/Phabricator

essential instance about bit structure