Constant MAGMA_QUERY_TOTAL_TIME

pub const MAGMA_QUERY_TOTAL_TIME: magma_query_t = 500;