Deze duikstek kennen we nietdebuginfo 64