Added synthetic "return" block