Address translation function correctness