HomeIsabelle/Phabricator

Return small numbers of multiple results in registers.