headerfile: make it international!