Source position: utmpxh.inc line 13
function pututxline(
__utmpx: Putmpx
):Putmpx;function pututxline(
const __utmpx: utmpx
):Putmpx;