* Return values are simplified.