these should be statically allocated