Useless, since `Result' is initialized to its default, i.e Void