Are these implicitly `public static` already..?