frontend: eliminate global name space cluttering