Some work for @safe and pure