static long dm_discord_timeOfNextToLastPostByUser(long userID) {
  ret getLong timestamp(dm_discord_nextToLastPostByUser(userID));
}