# no warning should be printed
