Los atributos del código indican al compilador de Vala como se supone que debe funcionar el código en la plataforma destino.