# OFFSET CONSTANTS
# -------------------------------------------------------------------------------------------------

# Current account
const.ACCOUNT_VAULT_ADD_ASSET_OFFSET=0
const.ACCOUNT_VAULT_GET_BALANCE_OFFSET=1
const.ACCOUNT_VAULT_HAS_NON_FUNGIBLE_ASSET_OFFSET=2
const.ACCOUNT_VAULT_REMOVE_ASSET_OFFSET=3
const.GET_ACCOUNT_ID_OFFSET=4
const.GET_ACCOUNT_ITEM_OFFSET=5
const.GET_ACCOUNT_MAP_ITEM_OFFSET=6
const.GET_ACCOUNT_NONCE_OFFSET=7
const.GET_ACCOUNT_VAULT_COMMITMENT_OFFSET=8
const.GET_CURRENT_ACCOUNT_HASH_OFFSET=9
const.GET_INITIAL_ACCOUNT_HASH_OFFSET=10
const.INCR_ACCOUNT_NONCE_OFFSET=11
const.SET_ACCOUNT_CODE_OFFSET=12
const.SET_ACCOUNT_ITEM_OFFSET=13
const.SET_ACCOUNT_MAP_ITEM_OFFSET=14

# Current faucet
const.BURN_ASSET_OFFSET=15
const.GET_FUNGIBLE_FAUCET_TOTAL_ISSUANCE_OFFSET=16
const.MINT_ASSET_OFFSET=17

# Current note
const.ADD_ASSET_TO_NOTE_OFFSET=18
const.CREATE_NOTE_OFFSET=19
const.GET_INPUT_NOTES_COMMITMENT_OFFSET=20
const.GET_NOTE_ASSETS_INFO_OFFSET=21
const.GET_NOTE_INPUTS_HASH_OFFSET=22
const.GET_NOTE_SENDER_OFFSET=23
const.GET_NOTE_SERIAL_NUMBER_OFFSET=24
const.GET_OUTPUT_NOTES_HASH_OFFSET=25

# Transaction
const.GET_BLOCK_HASH_OFFSET=26
const.GET_BLOCK_NUMBER_OFFSET=27
const.START_FOREIGN_CONTEXT_OFFSET=28
const.END_FOREIGN_CONTEXT_OFFSET=29
const.UPDATE_EXPIRATION_BLOCK_NUM_OFFSET=30
const.GET_EXPIRATION_DELTA_OFFSET=31

# ACCESSORS
# -------------------------------------------------------------------------------------------------

#! Returns an offset of the `get_account_id` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_account_id` kernel procedure required to get the address
#! where this procedure is stored.
export.get_account_id_offset
    push.GET_ACCOUNT_ID_OFFSET
end

#! Returns an offset of the `get_account_nonce` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_account_nonce` kernel procedure required to get the
#! address where this procedure is stored.
export.get_account_nonce_offset
    push.GET_ACCOUNT_NONCE_OFFSET
end

#! Returns an offset of the `get_initial_account_hash` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_initial_account_hash` kernel procedure required to get
#! the address where this procedure is stored.
export.get_initial_account_hash_offset
    push.GET_INITIAL_ACCOUNT_HASH_OFFSET
end

#! Returns an offset of the `get_current_account_hash` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_current_account_hash` kernel procedure required to get
#! the address where this procedure is stored.
export.get_current_account_hash_offset
    push.GET_CURRENT_ACCOUNT_HASH_OFFSET
end

#! Returns an offset of the `incr_account_nonce` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `incr_account_nonce` kernel procedure required to get the
#! address where this procedure is stored.
export.incr_account_nonce_offset
    push.INCR_ACCOUNT_NONCE_OFFSET
end

#! Returns an offset of the `get_account_item` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_account_item` kernel procedure required to get the
#! address where this procedure is stored.
export.get_account_item_offset
    push.GET_ACCOUNT_ITEM_OFFSET
end

#! Returns an offset of the `set_account_item` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `set_account_item` kernel procedure required to get the
#! address where this procedure is stored.
export.set_account_item_offset
    push.SET_ACCOUNT_ITEM_OFFSET
end

#! Returns an offset of the `get_account_map_item` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_account_map_item` kernel procedure required to get the
#! address where this procedure is stored.
export.get_account_map_item_offset
    push.GET_ACCOUNT_MAP_ITEM_OFFSET
end

#! Returns an offset of the `set_account_map_item` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `set_account_map_item` kernel procedure required to get the
#! address where this procedure is stored.
export.set_account_map_item_offset
    push.SET_ACCOUNT_MAP_ITEM_OFFSET
end

#! Returns an offset of the `set_account_code` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `set_account_code` kernel procedure required to get the
#! address where this procedure is stored.
export.set_account_code_offset
    push.SET_ACCOUNT_CODE_OFFSET
end

#! Returns an offset of the `account_vault_get_balance` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `account_vault_get_balance` kernel procedure required to get
#! the address where this procedure is stored.
export.account_vault_get_balance_offset
    push.ACCOUNT_VAULT_GET_BALANCE_OFFSET
end

#! Returns an offset of the `account_vault_has_non_fungible_asset` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `account_vault_has_non_fungible_asset` kernel procedure
#! required to get the address where this procedure is stored.
export.account_vault_has_non_fungible_asset_offset
    push.ACCOUNT_VAULT_HAS_NON_FUNGIBLE_ASSET_OFFSET
end

#! Returns an offset of the `account_vault_add_asset` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `account_vault_add_asset` kernel procedure required to get the
#! address where this procedure is stored.
export.account_vault_add_asset_offset
    push.ACCOUNT_VAULT_ADD_ASSET_OFFSET
end

#! Returns an offset of the `account_vault_remove_asset` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `account_vault_remove_asset` kernel procedure required to get
#! the address where this procedure is stored.
export.account_vault_remove_asset_offset
    push.ACCOUNT_VAULT_REMOVE_ASSET_OFFSET
end

#! Returns an offset of the `get_note_assets_info` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_note_assets_info` kernel procedure required to get the
#! address where this procedure is stored.
export.get_note_assets_info_offset
    push.GET_NOTE_ASSETS_INFO_OFFSET
end

#! Returns an offset of the `get_note_inputs_hash` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_note_inputs_hash` kernel procedure required to get the
#! address where this procedure is stored.
export.get_note_inputs_hash_offset
    push.GET_NOTE_INPUTS_HASH_OFFSET
end

#! Returns an offset of the `get_note_sender` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_note_sender` kernel procedure required to get the address
#! where this procedure is stored.
export.get_note_sender_offset
    push.GET_NOTE_SENDER_OFFSET
end

#! Returns an offset of the `get_block_number` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_block_number` kernel procedure required to get the
#! address where this procedure is stored.
export.get_block_number_offset
    push.GET_BLOCK_NUMBER_OFFSET
end

#! Returns an offset of the `update_expiration_block_num` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `set_tx_expiration_delta` kernel procedure required to get the
#! address where this procedure is stored.
export.update_expiration_block_num_offset
    push.UPDATE_EXPIRATION_BLOCK_NUM_OFFSET
end

#! Returns an offset of the `get_expiration_delta` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `set_tx_expiration_delta` kernel procedure required to get the
#! address where this procedure is stored.
export.get_expiration_block_delta_offset
    push.GET_EXPIRATION_DELTA_OFFSET
end

#! Returns an offset of the `get_block_hash` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_block_hash` kernel procedure required to get the address
#! where this procedure is stored.
export.get_block_hash_offset
    push.GET_BLOCK_HASH_OFFSET
end

#! Returns an offset of the `get_input_notes_commitment` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_input_notes_commitment` kernel procedure required to get
#! the address where this procedure is stored.
export.get_input_notes_commitment_offset
    push.GET_INPUT_NOTES_COMMITMENT_OFFSET
end

#! Returns an offset of the `get_output_notes_hash` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_output_notes_hash` kernel procedure required to get the
#! address where this procedure is stored.
export.get_output_notes_hash_offset
    push.GET_OUTPUT_NOTES_HASH_OFFSET
end

#! Returns an offset of the `create_note` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `create_note` kernel procedure required to get the address
#! where this procedure is stored.
export.create_note_offset
    push.CREATE_NOTE_OFFSET
end

#! Returns an offset of the `add_asset_to_note` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `add_asset_to_note` kernel procedure required to get the
#! address where this procedure is stored.
export.add_asset_to_note_offset
    push.ADD_ASSET_TO_NOTE_OFFSET
end

#! Returns an offset of the `get_account_vault_commitment` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_account_vault_commitment` kernel procedure required to
#! get the address where this procedure is stored.
export.get_account_vault_commitment_offset
    push.GET_ACCOUNT_VAULT_COMMITMENT_OFFSET
end

#! Returns an offset of the `mint_asset` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `mint_asset` kernel procedure required to get the address
#! where this procedure is stored.
export.mint_asset_offset
    push.MINT_ASSET_OFFSET
end

#! Returns an offset of the `burn_asset` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `burn_asset` kernel procedure required to get the address
#! where this procedure is stored.
export.burn_asset_offset
    push.BURN_ASSET_OFFSET
end

#! Returns an offset of the `get_fungible_faucet_total_issuance` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_fungible_faucet_total_issuance` kernel procedure required
#! to get the address where this procedure is stored.
export.get_fungible_faucet_total_issuance_offset
    push.GET_FUNGIBLE_FAUCET_TOTAL_ISSUANCE_OFFSET
end

#! Returns an offset of the `get_note_serial_number` kernel procedure.
#!
#! Stack: []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `get_note_serial_number` kernel procedure required to get the
#! address where this procedure is stored.
export.get_note_serial_number_offset
    push.GET_NOTE_SERIAL_NUMBER_OFFSET
end

#! Returns an offset of the `start_foreign_context` kernel procedure.
#!
#! Stack:  []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `start_foreign_context` kernel procedure required to get the
#! address where this procedure is stored.
export.start_foreign_context_offset
    push.START_FOREIGN_CONTEXT_OFFSET
end

#! Returns an offset of the `end_foreign_context` kernel procedure.
#!
#! Stack:  []
#! Output: [proc_offset]
#!
#! Where:
#! - proc_offset is the offset of the `end_foreign_context` kernel procedure required to get the
#! address where this procedure is stored.
export.end_foreign_context_offset
    push.END_FOREIGN_CONTEXT_OFFSET
end