default world github {
    import http: http.incoming-handler
    import logging: logging.logging
    import random: random.random
}