as elsewhere, can omit `java.lang.` as it's implicitly imported