Deze duikstek kennen we nietdebuginfo id