Rewriting Linux in ATS/Postiats while attempting to improve both!