// Addresses are at most 16 bytes long.
script {
    fun main() {
        let x = @0x112233445566778899101122334455667788992011223344556677889930112233;
    }
}