Pointer analysis is foundational for statically analyzing real-world programs, but tracking all relations between pointers quickly becomes intractable as program size grows. We present C-2PO — a weakly relational domain for C programs tracking must-equalities and -disequalities between pairs of pointer expressions. This domain captures address arithmetic and its confinement to single memory objects, both core concepts in C. We implement the domain in a static analyzer for C, and provide a preliminary evaluation. For 95% of tasks from the SV-COMP benchmark suite, the slowdown incurred by adding C-2PO to a base analysis is below a factor of 3. To measure precision, we instrumented coreutil programs with assertions obtained from non-trivial invariants computed by C-2PO. For an existing non-relational pointer analysis 76% of the assertions are out of reach.