Can Mojo be used to write trusted applications (e.g. postgres extension) - Modular