Each program is guaranteed to have a certain number of certain types of instructions, such as (IIRC) exactly one divide instruction.