public defenestration to public static void main(String[] args){