Initial version of the hola header/function stubs