topo_builtin.h revision 74a31ce69a88d851777ca840d31ec610ce9ecab3