platform x86_64 {
// TODO: Model $al
// TODO: Model $cl
// TODO: Model $dil
// TODO: Model $dl
// TODO: Model $eax
// TODO: Model $ecx
// TODO: Model $edi
// TODO: Model $edx
// TODO: Model $rax
// TODO: Model $rbp
// TODO: Model $rcx
// TODO: Model $rdi
// TODO: Model $rdx
// TODO: Model $rsi
// TODO: Model $rsp
// TODO: Model $sil
}