header pragma set to '<stdio.h>' in importc section