Symbol: init_regspec_64