* Use scm_tc3_* codes instead of hardcoded values.