// Actual2-of3 dispatch; hashes are canonical. Expected-key policy remains in the example contract.
os_neptune_locks_multisig__verify_key:
    swap 1
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    swap 9
    swap 1
    swap 8
    swap 1
    swap 2
    swap 7
    swap 2
    swap 3
    swap 6
    swap 3
    swap 4
    swap 5
    swap 4
    hash
    swap 4
    swap 1
    swap 3
    swap 1
    pop 4
    eq
    assert
    return

os_neptune_locks_multisig__main:
    divine 5
    pop 4
    divine 5
    pop 4
    divine 5
    pop 4
    divine 1
    dup 0
    push 3
    eq
    dup 1
    push 5
    eq
    add
    dup 1
    push 6
    eq
    add
    assert
    dup 0
    push 3
    eq
    skiz
    call __mask3
    dup 0
    push 5
    eq
    skiz
    call __mask5
    dup 0
    push 6
    eq
    skiz
    call __mask6
    pop 4
    read_io 5
    pop 5
    return

__mask3:
    divine 1
    dup 4
    call os_neptune_locks_multisig__verify_key
    divine 1
    dup 3
    call os_neptune_locks_multisig__verify_key
    return

__mask5:
    divine 1
    dup 4
    call os_neptune_locks_multisig__verify_key
    divine 1
    dup 2
    call os_neptune_locks_multisig__verify_key
    return

__mask6:
    divine 1
    dup 3
    call os_neptune_locks_multisig__verify_key
    divine 1
    dup 2
    call os_neptune_locks_multisig__verify_key
    return

Graph