Compile successfully, but not tested