Deze duikstek kennen we nietdebuginfo 1000