Source position: utmpxh.inc line 12
function getutxline(
__line: Putmpx
):Putmpx;function getutxline(
const __line: utmpx
):Putmpx;