Revise spec on assembly-time constants