Here is how bytecode for instructions inside functions is emitted.

• §1. Introduction
• §2. Where bytecode comes out
• §5. Structural
• §6. Comments
• §7. Provenance markers
• §8. In value context
• §9. Either/or property testing
• §10. Casts
• §13. In reference context
• §14. Invocations
• §17. Labels

§1. Introduction. Many sections of runtime need to create functions by explicitly giving their bytecode. This is quite verbose, but with practice easy enough to read. For example, here's bytecode equivalent to return 13:

    EmitCode::inv(RETURN_BIP);
    EmitCode::down();
        EmitCode::val_number(13);
    EmitCode::up();

We conventionally indent this code to reflect the structure of what is being generated, so that the source code in this module looks like the Inter tree structure which emerges.

§2. Where bytecode comes out. We are generating a hierarchical structure and not a stream, so we need the ability to move the point at which new opcodes are being spawned. This is that point

inter_bookmark *EmitCode::at?Usage of EmitCode::at:
§6(void) {
    return Produce::at(Emit::tree());
}

§3. These should always be used in ways guaranteed to match:

• ● EmitCode::down shifts us so that we are now creating bytecode below the instruction last emitted, not after it.
• ● EmitCode::up then returns us back to where we were.

void EmitCode::up?Usage of EmitCode::up:
§9
Shared Variables - §1, §1.1, §1.2
The Heap - §5
Showme Command - §2, §3, §4, §4.2, §6.1, §6.1.1, §6.1.1.1, §6.2, §6.2.1
Short Names - §4, §4.1, §4.2
Text Substitutions - §2.1, §7.2
Responses - §4, §6, §7.1
Box Quotations - §2
Group Together - §3
Looping Over Scope - §3
Adjectives - §6.1.2, §8, §9, §14, §15
Chronology - §3.4, §4.1, §5, §7.2, §8
Conjugations - §7, §8, §12.1, §7.2, §7.2.1, §7.2.2, §13
Instances - §5
Backdrop Instances - §2.1
Door Instances - §3, §5
Region Instances - §2
Scene Instances - §3.1, §4, §4.2, §4.3, §6.1, §6.2, §6.3, §6.4, §6.5, §7, §7.1, §7.2, §7.2.1, §8
Dialogue Beat Instances - §2.7.1, §2.7.2, §2.7.2.1, §2.7.3.1, §2.7.4, §2.8.1
Dialogue - §3.10.1, §3.13, §3.14, §3.14.3, §5
Dialogue Choice Instances - §3.6.1, §3.7, §3.8
Rules - §12.4, §14, §14.2, §15, §15.1, §17.3, §17.4, §15.2.1, §17.2.1
Rulebooks - §8.4.1.1, §8.4.1.2, §8.4.1.3, §8.4.1.4, §8.4.1.5, §8.4.1.3.1, §16
Variables - §8, §14.1
Relations - §6.1, §6.2, §6.4, §6.4.1, §6.4.4, §6.4.5, §6.4.5.1, §6.4.6, §6.4.7, §6.4.8, §6.4.9, §6.4.10, §6.4.11, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §20, §21
Literal Patterns - §4.1.1, §4.1.1.1, §4.1.1.2, §4.1.1.3, §4.1.1.3.1, §4.1.1.3.2, §4.1.1.3.3, §4.1.1.3.1.1, §4.1.1.4, §4.2, §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8, §32.3.24, §32.3.26, §32.3.27, §32.3.28
Kind IDs - §10
Actions - §8.5, §8.6, §8.6.1, §9
Named Action Patterns - §3
Command Grammars - §10, §12, §13
Command Grammar Lines - §6.2, §6.5, §6.6, §6.8, §7, §9, §10, §11, §13, §14.3, §14.5, §14.5.1
Command Grammar Tokens - §1.1, §1.1.1, §1.1.1.1, §1.2, §1.2.1, §1.2.2, §1.2.3, §1.2.4, §1.2.5, §1.2.6, §1.2.7, §1.2.8, §1.2.9, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §1.1, §1.2, §4, §4.1, §4.3, §4.4, §5.1.1.1, §5.1.1.2, §5.1.1.3
Noun Filter Tokens - §3.1, §3.2, §3.3, §4
Parse Name Properties - §4, §4.1, §4.2, §4.3, §4.3.1, §4.4, §4.5, §5, §6, §6.2, §6.3, §6.4, §6.5, §6.6, §7.1, §8, §8.1, §9, §10, §10.1, §10.2, §11(void) {
    Produce::up(Emit::tree());
}
void EmitCode::down?Usage of EmitCode::down:
§9, §12
Shared Variables - §1, §1.1, §1.2
The Heap - §5
Showme Command - §2, §3, §4, §4.2, §6.1, §6.1.1, §6.1.1.1, §6.2, §6.2.1
Short Names - §4, §4.1, §4.2
Text Substitutions - §2.1, §7.2
Responses - §6, §7.1
Box Quotations - §2
Group Together - §3
Looping Over Scope - §3
Adjectives - §6.1.2, §8, §9, §14, §15
Chronology - §3.4, §4.1, §5, §7.2, §8
Conjugations - §7, §8, §12.1, §7.2, §7.2.1, §7.2.2, §13
Instances - §5
Backdrop Instances - §2.1
Door Instances - §3, §5
Region Instances - §2
Scene Instances - §3.1, §4, §4.2, §4.3, §6.1, §6.2, §6.3, §6.4, §6.5, §7, §7.1, §7.2, §7.2.1, §8
Dialogue Beat Instances - §2.7.1, §2.7.2, §2.7.2.1, §2.7.3.1, §2.7.4, §2.8.1
Dialogue - §3.10.1, §3.13, §3.14, §3.14.3, §5
Dialogue Choice Instances - §3.6.1, §3.7, §3.8
Rules - §12.4, §14, §14.2, §15, §17.1, §15.1, §17.3, §17.4, §15.2, §15.2.1, §17.2.1
Rulebooks - §8.4.1.1, §8.4.1.2, §8.4.1.3, §8.4.1.4, §8.4.1.5, §8.4.1.3.1, §16
Variables - §8, §14.1
Relations - §6.1, §6.2, §6.4, §6.4.1, §6.4.4, §6.4.5, §6.4.5.1, §6.4.6, §6.4.7, §6.4.8, §6.4.9, §6.4.10, §6.4.11, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §20, §21
Literal Patterns - §4.1.1, §4.1.1.1, §4.1.1.2, §4.1.1.3, §4.1.1.3.1, §4.1.1.3.2, §4.1.1.3.3, §4.1.1.3.1.1, §4.1.1.4, §4.2, §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8, §32.3.24, §32.3.26, §32.3.27, §32.3.28
Kind IDs - §10
Actions - §8.5, §8.6, §8.6.1, §9
Named Action Patterns - §3
Command Grammars - §10, §12, §13
Command Grammar Lines - §6.2, §6.5, §6.6, §6.8, §7, §9, §10, §11, §13, §14.3, §14.5, §14.5.1
Command Grammar Tokens - §1.1, §1.1.1, §1.1.1.1, §1.2, §1.2.1, §1.2.2, §1.2.3, §1.2.4, §1.2.5, §1.2.6, §1.2.7, §1.2.8, §1.2.9, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §1.1, §1.2, §4, §4.1, §4.3, §4.4, §5.1.1.1, §5.1.1.2
Noun Filter Tokens - §3.1, §3.2, §3.3, §4
Parse Name Properties - §4, §4.1, §4.2, §4.3, §4.3.1, §4.4, §4.5, §5, §6, §6.2, §6.3, §6.4, §6.5, §6.6, §8, §8.1, §9, §10, §10.1, §10.2, §11(void) {
    Produce::down(Emit::tree());
}

§4. And this returns the current depth of nesting, that is, how many downs we have made, net:

int EmitCode::level?Usage of EmitCode::level:
§6(void) {
    return Produce::level(Emit::tree());
}

§5. Structural.

void EmitCode::code?Usage of EmitCode::code:
Shared Variables - §1
Showme Command - §2, §3, §4, §4.2, §6.1, §6.1.1, §6.2, §6.2.1
Short Names - §4.1
Text Substitutions - §7.2
Responses - §7.1
Box Quotations - §2
Group Together - §3
Looping Over Scope - §3
Adjectives - §6.1.2, §8, §15
Chronology - §8
Conjugations - §7, §12.1, §7.2, §7.2.1, §7.2.2, §13
Backdrop Instances - §2.1
Door Instances - §3, §5
Region Instances - §2
Scene Instances - §3.1, §4, §4.2, §4.3, §6.1, §6.4, §6.5, §7, §7.2, §7.2.1
Dialogue Beat Instances - §2.7.1, §2.7.2, §2.7.2.1, §2.7.3.1, §2.7.4, §2.8.1
Dialogue - §3.10.1, §3.13, §3.14, §3.14.3, §5
Dialogue Choice Instances - §3.6.1, §3.8
Rules - §14, §15, §17.1, §15.1, §17.3, §17.4, §15.2, §17.2.1
Rulebooks - §8.4.1.2, §8.4.1.3, §8.4.1.4, §8.4.1.3.1
Relations - §6.4, §6.4.4, §6.4.9, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §21
Literal Patterns - §4.1.1.3, §4.1.1.3.2, §4.1.1.4, §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.7, §32.3.8, §32.3.28
Actions - §8.6
Named Action Patterns - §3
Command Grammar Lines - §6.2, §6.6, §7, §9, §10, §11
Command Grammar Tokens - §1.1.1, §1.2.4, §1.2.5, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.5
Kind GPRs - §4, §5.1.1.1, §5.1.1.2
Noun Filter Tokens - §3.1, §3.2
Parse Name Properties - §4, §4.1, §4.2, §4.3, §4.3.1, §6.2, §6.3, §6.4, §6.6, §8, §10(void) {
    Produce::code(Emit::tree());
}

void EmitCode::reference?Usage of EmitCode::reference:
Shared Variables - §1.1
Box Quotations - §2
Scene Instances - §6.1, §6.3
Rulebooks - §8.4.1.3(void) {
    Produce::reference(Emit::tree());
}

§6. Comments. Note that these can only safely be made in void context: for example, at the start of a function.

void EmitCode::comment?Usage of EmitCode::comment:
Adjectives - §6.1
Conjugations - §12.1
Rulebooks - §9, §10
Literal Patterns - §5, §6
Kind Constructors - §32.3.26
Parse Name Properties - §8, §10, §11(text_stream *text) {
    if (Functions::a_function_is_being_compiled() == FALSE)
        internal_error("code comment emitted outside function");
    Produce::guard(CommentInstruction::new(EmitCode::at(), text, NULL,
        (inter_ti) EmitCode::level()));
}

§7. Provenance markers.

void EmitCode::provenance(text_provenance from) {
    Produce::provenance(Emit::tree(), from);
}

§8. In value context. These functions all generate a val opcode:

void EmitCode::val_number?Usage of EmitCode::val_number:
Shared Variables - §1
The Heap - §5
Showme Command - §4.2, §6.1.1, §6.2, §6.2.1
Short Names - §4.1
Responses - §7.1
Box Quotations - §2
Group Together - §3
Adjectives - §8, §9
Chronology - §3.4, §5, §7.2
Conjugations - §7, §8, §7.2, §7.2.1, §7.2.2, §13
Scene Instances - §3.1, §4, §4.2, §4.3, §6.1, §6.2, §6.3, §6.5, §7, §7.1, §7.2, §7.2.1, §8
Dialogue Beat Instances - §2.7.1, §2.7.2, §2.8.1
Dialogue - §3.14, §3.14.3
Rules - §14.1, §14.2, §15, §15.2.1, §17.2.1
Rulebooks - §8.4.1.3, §8.4.1.5, §16
Variables - §8
Relations - §6.4.8, §6.4.10, §6.4.11, §6.4.12, §6.4.12.1
Literal Patterns - §4.1.1.3, §4.1.1.3.1, §4.1.1.3.2, §4.1.1.3.3, §4.1.1.3.1.1, §4.1.1.4, §4.2.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8
Actions - §8.6, §9
Command Grammar Lines - §6.6, §7, §9
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.10.1.1.1
Noun Filter Tokens - §3.2
Parse Name Properties - §4, §4.1, §4.2, §4.3, §4.3.1, §6.2, §6.3, §6.6, §8, §8.1, §9(inter_ti N) {
    Produce::val(Emit::tree(), K_number, InterValuePairs::number(N));
}

void EmitCode::val_true?Usage of EmitCode::val_true:
Responses - §7.1
Scene Instances - §8
Dialogue - §3.14.3
Rules - §14.1
Relations - §6.2, §6.4.6, §6.4.7, §6.4.8, §6.4.12.1
Literal Patterns - §4.2.1.3.1, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.8, §1.2.9, §1.2.10.1.1.1
Noun Filter Tokens - §3.2
Parse Name Properties - §4.3.1, §5, §10, §10.2(void) {
    Produce::val(Emit::tree(), K_truth_state, InterValuePairs::number(1));
}

void EmitCode::val_false?Usage of EmitCode::val_false:
Responses - §7.1
Looping Over Scope - §3
Dialogue - §5
Rules - §15.2
Relations - §6.4.4, §6.4.7, §6.4.8, §6.4.12.1
Literal Patterns - §4.2.1, §4.2.1.3.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2
Kind Constructors - §32.3.24
Command Grammar Tokens - §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2
Noun Filter Tokens - §3.2
Parse Name Properties - §4.3, §10(void) {
    Produce::val(Emit::tree(), K_truth_state, InterValuePairs::number(0));
}

void EmitCode::val_iname?Usage of EmitCode::val_iname:
§9
Shared Variables - §1.1, §1.2
Showme Command - §6.1, §6.1.1, §6.1.1.1, §6.2
Short Names - §4.1
Text Substitutions - §2.1, §7.2
Responses - §4, §6, §7.1
Box Quotations - §2
Group Together - §3
Adjectives - §8, §9
Chronology - §3.4, §5, §7.2
Conjugations - §7, §8, §12.1
Instances - §5
Backdrop Instances - §2.1
Door Instances - §3, §5
Region Instances - §2
Scene Instances - §3.1, §4, §4.3, §6.1, §6.2, §6.3, §6.4, §6.5, §7, §7.1, §7.2, §7.2.1, §8
Dialogue Beat Instances - §2.7.1, §2.7.2.1, §2.8.1
Dialogue - §3.13, §3.14.3, §5
Rules - §15, §15.1, §17.3, §17.4, §15.2.1, §17.2.1
Rulebooks - §8.4.1.1, §8.4.1.2, §8.4.1.3, §8.4.1.3.1, §16
Variables - §8, §14.1
Relations - §6.1, §6.2, §6.4, §6.4.1, §6.4.5, §6.4.5.1, §6.4.6, §6.4.7, §6.4.8, §6.4.9, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §21
Literal Patterns - §4.1.1.3.1, §4.2, §4.2.1, §4.2.1.3.1, §4.2.1.3.2, §4.2.1.2.1
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8, §32.3.28
Kind IDs - §2, §6, §10
Actions - §8.5, §9
Command Grammars - §10, §12, §13
Command Grammar Lines - §6.5, §6.6, §6.8, §7, §9, §10, §11, §13, §14.3
Command Grammar Tokens - §1.2, §1.2.1, §1.2.2, §1.2.3, §1.2.4, §1.2.5, §1.2.6, §1.2.7, §1.2.8, §1.2.9, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §1.1, §1.2, §4, §4.1, §4.4, §5.1.1.1, §5.1.1.2
Noun Filter Tokens - §3.1, §3.2, §3.3, §4
Parse Name Properties - §4.1, §4.2, §4.3, §4.3.1, §4.4, §5, §6.2, §6.3, §8, §10, §10.2(kind *K, inter_name *iname) {
    Produce::val_iname(Emit::tree(), K, iname);
}

void EmitCode::val_text?Usage of EmitCode::val_text:
Showme Command - §4.2, §6.1.1, §6.2, §6.2.1
Short Names - §4, §4.2
Text Substitutions - §7.2
Box Quotations - §2
Adjectives - §8
Conjugations - §12.1, §13
Scene Instances - §6.4, §7.1, §7.2.1
Relations - §6.2
Literal Patterns - §4.1.1, §4.1.1.1, §4.1.1.2, §4.1.1.3, §4.2.1, §7.2
Kind Constructors - §32.3.28
Actions - §8.6, §8.6.1
Command Grammar Lines - §9
Parse Name Properties - §4.1, §6.3, §8(text_stream *text) {
    Produce::val_text(Emit::tree(), text);
}

void EmitCode::val_dword?Usage of EmitCode::val_dword:
Literal Patterns - §4.2.1.1
Command Grammar Tokens - §1.1
Kind GPRs - §5.1.1.1
Parse Name Properties - §10(text_stream *text) {
    Produce::val_dword(Emit::tree(), text);
}

void EmitCode::val_real(double g) {
    Produce::val_real(Emit::tree(), g);
}

void EmitCode::val_nothing?Usage of EmitCode::val_nothing:
Adjectives - §8
Relations - §19.1, §19.2(void) {
    Produce::val_nothing(Emit::tree());
}

void EmitCode::val_symbol?Usage of EmitCode::val_symbol:
§9
Shared Variables - §1, §1.1, §1.2
Showme Command - §2, §3, §4.2, §6.1, §6.1.1, §6.1.1.1
Responses - §7.1
Looping Over Scope - §3
Adjectives - §8
Conjugations - §7, §12.1, §7.2.1, §7.2.2, §13
Instances - §5
Door Instances - §3, §5
Dialogue Beat Instances - §2.7.2, §2.7.2.1, §2.8.1
Dialogue - §3.13, §3.14, §5
Rulebooks - §8.4.1.3, §8.4.1.3.1
Relations - §6.4, §6.4.1, §6.4.4, §6.4.5, §6.4.5.1, §6.4.6, §6.4.7, §6.4.8, §6.4.9, §6.4.10, §6.4.11, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §21
Literal Patterns - §4.1.1.3, §4.1.1.3.3, §4.1.1.3.1.1, §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8, §32.3.24, §32.3.26, §32.3.27, §32.3.28
Kind IDs - §10
Actions - §8.6, §9
Command Grammars - §12
Command Grammar Lines - §6.2, §6.5, §6.6, §6.8, §14.3, §14.5
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.8, §1.2.9, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §4, §4.3, §5.1.1.2
Noun Filter Tokens - §3.1, §3.2
Parse Name Properties - §4, §4.3.1, §4.5, §5, §6.2, §6.3, §6.4, §6.5, §6.6, §8, §9, §10, §10.1, §11(kind *K, inter_symbol *S) {
    Produce::val_symbol(Emit::tree(), K, S);
}

§9. Either/or property testing. This compiles code for the test N has prn, that is, compiles a condition which is true if the value of prn for N is true, and correspondingly false for false.

void EmitCode::test_if_iname_has_property?Usage of EmitCode::test_if_iname_has_property:
Parse Name Properties - §8, §10(kind *K, inter_name *N, property *prn) {
    EmitCode::test_if_symbol_has_property(K, InterNames::to_symbol(N), prn);
}
void EmitCode::test_if_symbol_has_property?Usage of EmitCode::test_if_symbol_has_property:
Showme Command - §6.2(kind *K, inter_symbol *S, property *prn) {
    if (RTProperties::stored_in_negation(prn)) {
        EmitCode::inv(NOT_BIP);
        EmitCode::down();
            EmitCode::inv(PROPERTYVALUE_BIP);
            EmitCode::down();
                EmitCode::val_iname(K_value, RTKindIDs::weak_iname(K_object));
                EmitCode::val_symbol(K, S);
                EmitCode::val_iname(K_value,
                    RTProperties::iname(EitherOrProperties::get_negation(prn)));
            EmitCode::up();
        EmitCode::up();
    } else {
        EmitCode::inv(PROPERTYVALUE_BIP);
        EmitCode::down();
            EmitCode::val_iname(K_value, RTKindIDs::weak_iname(K_object));
            EmitCode::val_symbol(K, S);
            EmitCode::val_iname(K_value, RTProperties::iname(prn));
        EmitCode::up();
    }
}

§10. Casts. These are value conversions from one kind to another. In some simple cases, this can be achieved with an Inter cast:

void EmitCode::cast?Usage of EmitCode::cast:
Kind Constructors - §32.3.6.1, §32.3.6.2(kind *F, kind *T) {
    Produce::cast(Emit::tree(), F, T);
}

§11. This allows more complex cases, though:

int EmitCode::cast_possible?Usage of EmitCode::cast_possible:
§12(kind *F, kind *T) {
    F = Kinds::weaken(F, K_object);
    T = Kinds::weaken(T, K_object);
    if ((T) && (F) && (T->construct != F->construct) &&
        (Kinds::Behaviour::definite(T)) && (Kinds::Behaviour::definite(F)) &&
        (Kinds::eq(F, K_object) == FALSE) &&
        (Kinds::eq(T, K_object) == FALSE) &&
        (T->construct != CON_property))
        return TRUE;
    return FALSE;
}

§12. Casts are in many cases implicit, so that nothing need be done, and the following simply returns TRUE to indicate success. But in a few cases, a function call must be inserted, with a name like SNIPPET_TY_to_TEXT_TY; in such cases, this function must exist in the kits somewhere.

int EmitCode::casting_call(kind *F, kind *T, int *down) {
    if (EmitCode::cast_possible(F, T)) {
        if (Str::len(Kinds::Behaviour::get_identifier(T)) == 0) {
            return TRUE;
        }
        if ((Kinds::FloatingPoint::uses_floating_point(F)) &&
            (Kinds::FloatingPoint::uses_floating_point(T))) {
            return TRUE;
        }
        TEMPORARY_TEXT(N)
        WRITE_TO(N, "%S_to_%S",
            Kinds::Behaviour::get_identifier(F),
            Kinds::Behaviour::get_identifier(T));
        inter_name *iname = HierarchyLocations::find_by_name(Emit::tree(), N);
        DISCARD_TEXT(N)
        EmitCode::call(iname);
        *down = TRUE;
        EmitCode::down();
        if (Kinds::Behaviour::uses_block_values(T)) Frames::emit_new_local_value(T);
        return TRUE;
    }
    return FALSE;
}

§13. In reference context. And these produce a ref:

void EmitCode::ref_iname?Usage of EmitCode::ref_iname:
Responses - §7.1
Group Together - §3
Looping Over Scope - §3
Adjectives - §9
Conjugations - §8
Rules - §15.1, §17.3
Rulebooks - §8.4.1.3
Literal Patterns - §4.2.1, §4.2.1.1, §4.2.1.3.1, §4.2.1.3.2, §4.2.1.2.2
Command Grammars - §12
Command Grammar Lines - §6.5, §6.6, §6.8, §7, §9, §14.3, §14.5
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.8, §1.2.9, §1.2.10.1.1.1
Kind GPRs - §4.3, §5.1.1.1
Noun Filter Tokens - §3.1, §3.2
Parse Name Properties - §4.3.1, §4.5, §5, §6.5, §8, §9, §10, §10.1, §11(kind *K, inter_name *iname) {
    Produce::ref_iname(Emit::tree(), K, iname);
}

void EmitCode::ref_symbol?Usage of EmitCode::ref_symbol:
Shared Variables - §1.1, §1.2
Showme Command - §4.2, §6.2.1
Responses - §7.1
Adjectives - §8
Conjugations - §12.1
Door Instances - §3, §5
Scene Instances - §4.2, §4.3
Dialogue Beat Instances - §2.8.1
Rulebooks - §8.4.1.1, §8.4.1.3
Literal Patterns - §4.1.1.3, §4.2.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2
Command Grammars - §10, §12, §13
Command Grammar Lines - §6.5, §6.6, §14.3
Command Grammar Tokens - §1.2, §1.2.4, §1.2.5, §1.2.8, §1.2.9, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §1.1, §4, §4.1
Noun Filter Tokens - §3.1, §3.2, §3.3
Parse Name Properties - §4, §4.3, §4.3.1, §4.4, §5, §6, §6.2, §6.4, §8, §10, §10.2(kind *K, inter_symbol *S) {
    Produce::ref_symbol(Emit::tree(), K, S);
}

§14. Invocations. These three produce inv opcodes:

void EmitCode::inv?Usage of EmitCode::inv:
§9
Shared Variables - §1, §1.1, §1.2
Showme Command - §2, §3, §4, §4.2, §6.1, §6.1.1, §6.1.1.1, §6.2, §6.2.1
Short Names - §4, §4.1, §4.2
Text Substitutions - §7.2
Responses - §7.1
Box Quotations - §2
Group Together - §3
Looping Over Scope - §3
Adjectives - §6.1.2, §8, §9, §14, §15
Chronology - §4.1, §7.2, §8, §9
Conjugations - §7, §8, §12.1, §7.2, §7.2.1, §7.2.2, §13
Instances - §5
Backdrop Instances - §2.1
Door Instances - §3, §5
Region Instances - §2
Scene Instances - §3.1, §4, §4.2, §4.3, §6.1, §6.3, §6.4, §6.5, §7, §7.1, §7.2, §7.2.1, §8
Dialogue Beat Instances - §2.7.1, §2.7.2, §2.7.2.1, §2.7.3.1, §2.7.4, §2.8.1
Dialogue - §3.10.1, §3.14, §3.14.3, §5
Dialogue Choice Instances - §3.6.1, §3.7, §3.8
Rules - §12.4, §14, §14.2, §15, §17.1, §15.1, §17.3, §17.4, §15.2, §15.2.1, §17.2.1
Rulebooks - §8.4.1.1, §8.4.1.2, §8.4.1.3, §8.4.1.5, §8.4.1.3.1
Variables - §8, §14.1
Relations - §6.2, §6.4, §6.4.4, §6.4.5, §6.4.6, §6.4.7, §6.4.8, §6.4.9, §6.4.10, §6.4.11, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.1, §19.2, §19.3, §19.4, §19.5, §20, §21
Literal Patterns - §4.1.1, §4.1.1.1, §4.1.1.2, §4.1.1.3, §4.1.1.3.1, §4.1.1.3.2, §4.1.1.3.3, §4.1.1.3.1.1, §4.1.1.4, §4.2, §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.1, §4.2.1.3.2.2, §4.2.1.2.1, §4.2.1.2.2, §5, §5.2, §7.1, §7.2, §7.3
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.7.1, §32.3.8, §32.3.24, §32.3.26, §32.3.27, §32.3.28
Kind IDs - §10
Actions - §8.5, §8.6, §8.6.1, §9
Named Action Patterns - §3
Command Grammars - §10, §12, §13
Command Grammar Lines - §6.2, §6.5, §6.6, §6.8, §7, §9, §10, §11, §13, §14.3, §14.5, §14.5.1
Command Grammar Tokens - §1.1, §1.1.1.1, §1.2, §1.2.1, §1.2.2, §1.2.3, §1.2.4, §1.2.5, §1.2.6, §1.2.7, §1.2.8, §1.2.9, §1.2.10.1.1, §1.2.10.2.1, §1.2.10.2.2, §1.2.10.1.1.1, §1.3, §1.4.1, §1.4.2, §1.4.3, §1.5, §1.6
Kind GPRs - §1.1, §1.2, §4, §4.1, §4.3, §4.4, §5.1.1.1, §5.1.1.2
Noun Filter Tokens - §3.1, §3.2, §3.3
Parse Name Properties - §4, §4.1, §4.2, §4.3, §4.3.1, §4.4, §4.5, §5, §6, §6.1, §6.2, §6.3, §6.4, §6.5, §6.6, §8, §8.1, §9, §10, §10.1, §10.2, §11(inter_ti bip) {
    Produce::inv_primitive(Emit::tree(), bip);
}

void EmitCode::call?Usage of EmitCode::call:
§12
Shared Variables - §1.2
The Heap - §5
Showme Command - §6.1, §6.1.1, §6.1.1.1, §6.2
Short Names - §4.1
Text Substitutions - §2.1
Responses - §6, §7.1
Adjectives - §8, §9
Chronology - §3.4, §5
Conjugations - §8, §12.1
Backdrop Instances - §2.1
Region Instances - §2
Scene Instances - §4.3, §6.1, §6.2, §8
Dialogue Beat Instances - §2.8.1
Dialogue - §3.13, §3.14.3
Rules - §12.4, §14.2, §15, §15.2.1, §17.2.1
Rulebooks - §8.4.1.3, §8.4.1.3.1, §16
Variables - §8
Relations - §6.1, §6.2, §6.4.1, §6.4.5.1, §6.4.6, §6.4.10, §6.4.11, §6.4.12, §6.4.9.1, §6.4.10.1, §6.4.12.1, §19.4, §19.5
Literal Patterns - §4.1.1.3.1, §4.2.1, §4.2.1.3.1, §4.2.1.3.1.1, §4.2.1.3.2, §4.2.1.3.2.2, §4.2.1.2.1, §5.2
Kind Constructors - §32.3.6.1, §32.3.6.2, §32.3.7, §32.3.8, §32.3.24
Actions - §8.5
Command Grammar Lines - §9, §10
Command Grammar Tokens - §1.1, §1.2, §1.2.4, §1.2.5, §1.2.8, §1.2.9, §1.2.10.1.1.1, §1.3, §1.4.3, §1.5
Kind GPRs - §4, §5.1.1.1
Noun Filter Tokens - §3.1, §3.2, §4
Parse Name Properties - §4.3.1, §6.2, §6.6, §8, §10(inter_name *fn_iname) {
    Produce::inv_call_iname(Emit::tree(), fn_iname);
}

void EmitCode::call_symbol(inter_symbol *S) {
    Produce::inv_call_symbol(Emit::tree(), S);
}

§15. These conveniences functions produce an invocation and argument all in one, so they generate several opcodes. Here we return true or false from the current function:

void EmitCode::rtrue?Usage of EmitCode::rtrue:
Short Names - §4
Text Substitutions - §7.2, §7.3
Adjectives - §15
Chronology - §8
Conjugations - §7
Backdrop Instances - §2.1
Region Instances - §2
Scene Instances - §4.2, §4.3
Dialogue Beat Instances - §2.7, §2.8.1
Dialogue - §3.10, §3.14, §5
Dialogue Choice Instances - §3.6, §3.8
Rulebooks - §16
Relations - §6.4.2, §6.4.3, §6.4.4, §6.4.7, §6.4.9.1, §19.3, §19.4, §19.5
Literal Patterns - §4.1, §4.1.1.4, §5, §5.2, §7.1, §7.2
Named Action Patterns - §3
Command Grammar Lines - §9
Noun Filter Tokens - §3.2(void) {
    Produce::rtrue(Emit::tree());
}

void EmitCode::rfalse?Usage of EmitCode::rfalse:
Group Together - §3
Adjectives - §6.1, §15
Chronology - §8
Conjugations - §7
Equations - §1
Backdrop Instances - §2.1, §2.2
Region Instances - §2
Scene Instances - §3
Dialogue Beat Instances - §2.7.1, §2.7.2.1, §2.7.3.1, §2.7.4, §2.8, §2.8.1
Dialogue - §3.10.1, §3.14.3, §5
Dialogue Choice Instances - §3.6.1, §3.8
Rulebooks - §16
Relations - §6.4, §6.4.2, §6.4.3, §6.4.4, §6.4.9.1, §19.3, §21
Named Action Patterns - §3
Noun Filter Tokens - §3.2(void) {
    Produce::rfalse(Emit::tree());
}

§16. And here we pull or pull a global variable to or from the Inter call stack:

void EmitCode::push(inter_name *iname) {
    Produce::push(Emit::tree(), iname);
}

void EmitCode::pull(inter_name *iname) {
    Produce::pull(Emit::tree(), iname);
}

§17. Labels. Labels can be referred to before they are defined, but must be reserved in advance:

inter_symbol *EmitCode::reserve_label?Usage of EmitCode::reserve_label:
General Parsing Routines - §4
Dialogue Beat Instances - §2.8.1
Literal Patterns - §4.2, §4.2.1.3.2.1
Command Grammar Lines - §14.3, §14.5.1
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.10
Kind GPRs - §5.1.1.1
Parse Name Properties - §10(text_stream *identifier) {
    return Produce::reserve_label(Emit::tree(), identifier);
}

void EmitCode::place_label?Usage of EmitCode::place_label:
Dialogue Beat Instances - §2.8.1
Literal Patterns - §4.2, §4.2.1, §4.2.1.3.2.1
Command Grammar Lines - §6.5, §6.6, §6.8, §14.3, §14.5
Command Grammar Tokens - §1.2.4, §1.2.5, §1.2.10.1.1.1
Kind GPRs - §5.1.1.1
Parse Name Properties - §5, §10(inter_symbol *lab_s) {
    Produce::place_label(Emit::tree(), lab_s);
}

void EmitCode::lab?Usage of EmitCode::lab:
Dialogue Beat Instances - §2.8.1
Literal Patterns - §4.2.1, §4.2.1.1, §4.2.1.2, §4.2.1.3, §4.2.1.3.1, §4.2.1.3.2.1, §4.2.1.3.2.2
Command Grammar Lines - §10, §14.5.1
Command Grammar Tokens - §1.1.1.1, §1.2.4, §1.2.5, §1.2.10.1.1.1
Kind GPRs - §5.1.1.1
Parse Name Properties - §10.2(inter_symbol *L) {
    Produce::lab(Emit::tree(), L);
}