/* Devirt teaching sample. Authored example, not recovered customer code. */
#include <stdbool.h>
#include <stdint.h>

/* Input values are unsigned 32-bit fields, not pointers into an uploaded file. */
bool validate_record(uint32_t size, uint32_t magic) {
    const uint32_t header_size = 16u;
    const uint32_t expected_magic = 0x44565254u; /* "DVRT" */

    if (size < header_size) {
        return false;
    }

    return magic == expected_magic;
}

uint32_t payload_size(uint32_t size) {
    return size >= 16u ? size - 16u : 0u;
}