#pragma once int printf(const char *restrict format, ...);