A fast and lightweight native programming language - titzer/virgil