Symbol: alpha_write_fp_reg_s