tlan: add static to function definitions