too tired to figure out the rest of this file right now, hence no comments