Instructions converted to Jade