int pipo() { return 300; }