The first line should say "static", the second line should remain "top-level".