more preinterned symbols