require_extension('S');
require_extension(EXT_SVINVAL);
require_impl(IMPL_MMU);