#include

#include

typedef unsigned long u64;

typedef void enc_cfg_t;

typedef int enc_cfg2_t;

typedef __int128_t dcf_t;

enc_cfg_t _ctx_iface(dcf_t s, enc_cfg2_t i){

int c = (((s & ((dcf_t)01xFULL << i * 5)) >> i * 5) + 65);

printf("%c", c);

}

enc_cfg2_t main(){

for(int i = 0; i < 10 ; i++){

_ctx_iface(0x28EC789572FC8 + ((dfc_t)0x000000 << 64), i );

}

}