Pure mature compilation