Don't always use phi for return
Let the compiler infer some types in havlak sample