// End-to-end login flow.
// [int->REQ-LOGIN-001]
void login_full_flow() {}