Deze duikstek kennen we nietdebuginfo st.