fix format issue: use kNumFPRs and kNumGPRs for named constant