HomeIsabelle/Phabricator

Add RTS-call to extract a constant from the constant area for debugging.