Catchy program names for students. .