Patmos - undefined undefined