Make sure x is initialized so that CeIVM does not complain.