Functions working, except that tok_prototype isn't being set correctly