all examples translate fine. TODO: formatting