void phase_6(char* input) {
    rsp -= 0x58;
}