Util::int() -> Util::getInt(), ...