First touch scala/Predef.scala, then try to compile the code above without first recompiling th\
e scala library. This raises the following error: 

tmp/test.scala:1: file /home/paltherr/work/scala-micro/sources/scala/Predef.scala does not define public class s\
cala.Predef
import scala.concurrent.pilib._;
                       ^
one error found