def get_blockchain_parameters_packed(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'get_blockchain_parameters_packed_{next(cls.counter)}')
def memcmp(cls, ctx, args): # [TODO] side effect return utils.gen_symbolic_value(bin_format.i32, f'memcmp_{next(cls.counter)}')
def set_proposed_producers_ex(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'set_proposed_producers_ex_{next(cls.counter)}')
def is_account(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i64, f'is_account_{next(cls.counter)}')
def cancel_deferred(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'cancel_deferred_{next(cls.counter)}')
def db_end_i64(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'db_end_i64_{next(cls.counter)}')
def expiration(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'expiration_{next(cls.counter)}')
def get_sender(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'get_sender_{next(cls.counter)}')
def action_data_size(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i32, f'action_data_size_{next(cls.counter)}')
def publication_time(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'publication_time_{next(cls.counter)}')
def is_feature_activated(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i32, f'is_feature_activated_{next(cls.counter)}')
def get_account_creation_time(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'get_account_creation_time_{next(cls.counter)}')
def get_permission_last_used(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'get_permission_last_used_{next(cls.counter)}')
def tapos_block_prefix(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i32, f'tapos_block_prefix_{next(cls.counter)}')
def get_active_producers(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'get_active_producers_{next(cls.counter)}')
def current_receiver(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i64, f'current_receiver_{next(cls.counter)}')
def check_permission_authorization(cls, ctx, args): return utils.gen_symbolic_value( bin_format.i32, f'check_permission_authorization_{next(cls.counter)}')
def has_auth(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'has_auth_{next(cls.counter)}')
def recover_key(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'recover_key_{next(cls.counter)}')
def is_privileged(cls, ctx, args): return utils.gen_symbolic_value(bin_format.i32, f'is_privileged_{next(cls.counter)}')