use ISO C11 standard