void set_size(int width, int height);