Add oasis 0.4.2