I'm curious if it has something to do with automatic C header translation