turns out, we already have those symbols defined by scala compiler, how useful