-target:jvm-1.6 -Ybackend:GenBCode -Yopt:unreachable-code