Exit correctly, with placeholder return statement