/hello
/HelloWorld
/hello_world
/hello-world
/hello-exe
/lean-data
/123-hello
/A-B-C-D
/meta
/qed
