Source position: utmpxh.inc line 11
function getutxid(
__id: Putmpx
):Putmpx;function getutxid(
const __id: utmpx
):Putmpx;