proc r_getUser(ctx: Context): owned(Future[void]) {....raises: [Exception],
    tags: [ReadIOEffect, ReadDbEffect, WriteIOEffect, RootEffect], forbids: [].}