Experiment with correct return types.