[crux-commits] r782 - crux-2.2/ports/core