Código cuya extensión es no-singular.