# no warning should be printed